Finite automata

Results: 673



#Item
621Convolution / Automata theory / Symbol / Mathematics / Finite-state machine

ISSN 1392 – 1215 ELEKTRONIKA IR ELEKTROTECHNIKA[removed]Nr[removed]T 180 TELEKOMUNIKACIJŲ INŽINERIJA

Add to Reading List

Source URL: internet.ktu.lt

Language: English - Date: 2005-07-08 02:27:18
622Software engineering / Automata theory / Anatoly Shalyto / Computing / Foundation for Open Project Documentation / Technology / Finite-state machine / Automaton / A New Kind of Science / Programming paradigms / Automata-based programming / Cellular automata

2005 International Conference on “Integration of Knowledge Intensive Multiagent Systems. KIMAS ’05: Modeling, Exploration, and Engineering”. USA, MA: IEEE, 2005, pp. 460–465.

Add to Reading List

Source URL: is.ifmo.ru

Language: English - Date: 2005-05-27 08:00:05
623Unified Modeling Language / Models of computation / Programming paradigms / Diagrams / Automata-based programming / State diagram / Finite-state machine / Executable UML / Model-driven architecture / UML diagrams / Software / Computing

ISSN[removed], Programming and Computer Software, 2007, Vol. 33, No. 6, pp. 343–355. © Pleiades Publishing, Ltd., 2007. Original Russian Text © V.S. Gurov, M.A. Mazin, A.S. Narvsky, A.A. Shalyto, 2007, published in Programmirovanie, 2007, Vol. 33, No. 6.

Add to Reading List

Source URL: is.ifmo.ru

Language: English - Date: 2007-11-04 10:40:05
624Theoretical computer science / Computer science / Büchi automaton / Finite-state machine / Deterministic finite automaton / State / Petri net / Kripke structure / Nested word / Models of computation / Automata theory / Formal methods

ISSN[removed], Programming and Computer Software, 2008, Vol. 34, No. 1, pp. 27–43. © Pleiades Publishing, Ltd., 2008. Original Russian Text © E.V. Kuzmin, V.A. Sokolov, 2008, published in Programmirovanie, 2008, Vol. 34, No. 1.

Add to Reading List

Source URL: is.ifmo.ru

Language: English - Date: 2008-03-11 23:34:24
625Computer science / Formal languages / Applied mathematics / Finite-state machine / Nondeterministic finite automaton / Deterministic finite automaton / Deterministic automaton / Computability / Regular language / Automata theory / Models of computation / Theoretical computer science

Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt

Add to Reading List

Source URL: yquem.inria.fr

Language: English - Date: 2011-10-19 08:09:32
626Computer science / Finite-state machine / State diagram / Mealy machine / Universal Turing machine / Virtual finite-state machine / State / Automata theory / System / Models of computation / Theory of computation / Theoretical computer science

Misunderstandings about state machines By Ferdinand Wagner and Peter Wolstenholme

Add to Reading List

Source URL: www.stateworks.com

Language: English - Date: 2009-04-02 14:10:32
627Diagrams / Theoretical computer science / Software engineering / Automata theory / Digital electronics / Finite-state machine / Virtual finite-state machine / State diagram / Counter / Models of computation / Unified Modeling Language / Science

© Copyright IEEE[removed]Placed on www.stateworks.com site.) Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective worksfor resale or

Add to Reading List

Source URL: www.stateworks.com

Language: English - Date: 2009-04-02 14:10:31
628Compiler construction / Programming language implementation / Pattern matching / Automata theory / Ragel / Lex / Finite-state machine / Regular expression / Parsing / Computing / Software / Parser generators

Ragel State Machine Compiler User Guide

Add to Reading List

Source URL: www.complang.org

Language: English - Date: 2009-12-02 20:58:17
629Theoretical computer science / Applied mathematics / Computability theory / Automata theory / Cellular automaton / Edward Fredkin / Reversible cellular automaton / Finite-state machine / Computation / Theory of computation / Models of computation / Cellular automata

FINITE NATURE EDWARD FREDKIN DEPARTMENT OF PHYSICS

Add to Reading List

Source URL: 64.78.31.152

Language: English - Date: 2012-08-24 16:31:38
630Automata theory / Mathematics / Deduction / Entailment / Logical consequence / Metalogic / Nondeterministic finite automaton / Symbol / Petri net / Logic / Abstract algebra / Models of computation

A Structural Approach to Operational Semantics

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-01-10 08:48:23
UPDATE